include Verifier_intf.S with type ledger_proof = Ledger_proof.t
